PUTRACOM: A Concurrent Component Model With Exogenous Connectors

A model of context-dependent component connectors

Recent approaches to component-based software engineering employ coordinating connectors to compose components into software systems. For maximum flexibility and reuse such connectors can themselves be composed, resulting in an expressive calculus of connectors whose semantics encompasses complex combinations of synchronisation, mutual exclusion, non-deterministic choice and state-dependent beh...

Component Connectors with QoS Guarantees

Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models and languages serve as a means to formally specify and implement component and service connectors. They support largescale distributed applications by allowing construction of complex component connectors out of simple...

A Coinductive Calculus of Component Connectors

A catalogue of component connectors to support development with reuse

Component-based development is based on the idea of building software systems by composing preexisting components. Connectors are the ‘glue’ for composing components. Therefore, it is important to consider connectors as first-class entities and provide adequate descriptions of them to facilitate their understanding and promote their reuse. We have defined a catalogue of component connectors to ...

Symbolic Model Checking for Channel-based Component Connectors

The paper reports on the foundations and experimental results with a model checker for component connectors modelled by networks of channels in the calculus Reo. The specification formalisms is a branching time logic that allows to reason about the coordination principles of and the data flow in the network. The underlying model checking algorithm relies on variants of standard automata-based a...